memdebug could report a double-free where none happened when addresses got reallocated.

diff --git a/tools/memdebug b/tools/memdebug
index 3a50da20a7496961d31a6507eea70161a152a4e8..87487994496124fd848b17a6b9a39d3d8de9fdaf 100755 (executable)
--- a/tools/memdebug
+++ b/tools/memdebug
@@ -9,6 +9,9 @@ sub alloc {
         ($ofile,$oline) = @{$arena{$addr}};
         print( "duplicate allocation $addr at $file $line\n  allocated at $ofile $oline\n" );
     }
+    if ( $freed{$addr} ) {
+       delete $freed{$addr};
+    }
     $arena{$addr} = [$file,$line];
 }